$\forall$$x$:Top. inr($x$) $\in$ Decision